nontrivial grammar

非无效文法